Mapping AADL models to a repository of multiple schedulability analysis techniques

To fill the gap between the modeling of real-time systems and the scheduling analysis, we propose a framework that supports seamlessly the two aspects: 1) modeling a system using a methodology, in our case study, the Architecture Analysis and Design Language (AADL), and 2) helping to easily check temporal requirements (schedulability analysis, worst-case response time, sensitivity analysis, etc.). We introduce an intermediate framework called MoSaRT, which supports a rich semantic concerning temporal analysis. We show with a case study how the input model is transformed into a MoSaRT model, and how our framework is able to generate the proper models as inputs to several classic temporal analysis tools

On the periodic behavior of real-time schedulers on identical multiprocessor platforms

This paper is proposing a general periodicity result concerning any deterministic and memoryless scheduling algorithm (including non-work-conserving algorithms), for any context, on identical multiprocessor platforms. By context we mean the hardware architecture (uniprocessor, multicore), as well as task constraints like critical sections, precedence constraints, self-suspension, etc. Since the result is based only on the releases and deadlines, it is independent from any other parameter. Note that we do not claim that the given interval is minimal, but it is an upper bound for any cycle of any feasible schedule provided by any deterministic and memoryless scheduler

Minimal schedulability interval for real-time systems of periodic tasks with offsets

AbstractWe consider real-time systems in highly safety context where tasks have to meet strict deadlines. Tasks are periodic, may have offsets, share critical resources and be precedence constrained. Off-line scheduling should be of great help for such systems, but methods proposed in the literature cannot deal with them. Our aim is to extend and improve the well-known cyclicity result of Leung and Merill to every scheduling algorithm and to systems of interacting tasks with offsets. One of the main benefit of our result is to enable the use of off-line scheduling methods for those real-time critical systems

Ordonnancement de tâches périodiques avec précédences étendues sans sémaphores

National audienceCe travail porte sur l'ordonnancement de systèmes embarqués critiques. Ces systèmes sont multi-périodiques et soumis à des contraintes d'échéances. L'implémentation d'un tel système doit de plus être fonctionnellement déterministe (les mêmes sorties produites pour les mêmes entrées), ce qui nécessite de contrôler précisément l'ordre des communications entre tâches, à l'aide de contraintes de précédence. Nous nous intéressons donc à l'ordonnancement de tâches périodiques reliées par des contraintes de précédence étendues (entre tâches de périodes différentes), à l'aide de politiques basées sur les priorités. En raison du caractère critique des applications considérées, on s'intéresse à des politiques d'ordonancement sans sémaphores, afin d'éliminer tout risque d'anomalie d'ordonnancement (un système prouvé ordonnançable avant l'exécution sur la base des WCET devenant non-ordonnaçable à l'exécution en raison d'une tâche ne prenant pas son WCET). Nous proposons une politique d'ordonnancement optimale pour le problème présenté ci-dessus, en priorité dynamique

Elements of nuclear safety – Research reactors

This publication gives a global overview of the diversity and complementarity of research reactors, some of which have been or are still being used to conduct experiments that are essential for the development and operation of nuclear power reactors, including in relation to safety issues. This work highlights the many uses of these reactors, which have very different designs, use highly varied quantities of radioactive substances with varying levels of risk for safety and radiation protection, and which — in many cases because they are old or have been shut down — require appropriate measures to control the ageing or obsolescence of some of their equipment, as well as, on an organisational and human level, to ensure that they continue to be operated safely. For some research reactors, safety and radiation protection aspects must be considered, taking into account that two types of operators are present at the same time within these reactors: reactor operating personnel and operators in charge of experimental devices using neutrons from the reactor for fundamental or applied research purposes. There are two specific chapters on the safety standards established under the aegis of the IAEA for research reactors and on serious accidents, notably those involving criticality and reactivity, in research reactors. The second part of the work focuses on French research reactors, including the regulations and official documents applicable to these reactors, on lessons learned in France from significant events and accidents — as well as abroad, such as the Fukushima Daiichi nuclear power plant accident in 2011 — on the consideration of reactivity accidents in the design of French research reactors, and on the ten-yearly safety reviews carried out in France

Dynamic Priority Scheduling of Periodic Tasks with Extended Precedences

International audienceThe software architecture of a critical embedded control system generally consists of a set of multi-periodic communicating tasks. In order to be able to describe such a system, we define the notion of \emph{semaphore precedence constraint}, which supports multi-rate communications that follow regular repetitive patterns. We propose a feasibility test for EDF and we study three implementations, for periodic task sets related by such extended precedences on monoprocessor architectures

Éléments de sûreté nucléaire – Les réacteurs de recherche

Le présent ouvrage dresse un panorama mondial de la diversité et de la complémentarité des réacteurs de recherche, dont un certain nombre ont été ou sont encore utilisés pour y mener notamment des expérimentations indispensables au développement et à l’exploitation des réacteurs électronucléaires, y compris en rapport avec des questions de sûreté. Cet ouvrage met en évidence les multiples utilisations de ces réacteurs qui, de conceptions très diverses, mobilisent des quantités très variées de substances radioactives présentant des risques plus ou moins importants pour la sûreté ou la radioprotection et dont l’ancienneté ou l’inutilisation pour nombre d’entre eux nécessitent des dispositions appropriées pour maîtriser le vieillissement ou l’obsolescence de certains de leurs équipements, ainsi que, aux plans organisationnel et humain, pour en maintenir une exploitation sûre. Pour certains réacteurs de recherche, des aspects de sûreté et de radioprotection sont à considérer en tenant compte de la présence simultanée, au sein de ces réacteurs, de deux types d’opérateurs : le personnel d’exploitation du réacteur, des opérateurs de dispositifs expérimentaux utilisant les neutrons issus du réacteur pour des besoins de recherche fondamentale ou appliquée. Deux chapitres spécifiques sont dédiés aux normes de sûreté établies sous l’égide de l’AIEA pour les réacteurs de recherche et aux accidents sérieux, notamment de criticité ou de réactivité, survenus dans des réacteurs de recherche. La deuxième partie de l’ouvrage est consacrée aux réacteurs de recherche français, notamment au dispositif réglementaire et aux textes officiels qui leurs sont applicables, au retour d’expérience tiré en France d’événements significatifs et d’accidents survenus – y compris à l’étranger celui, en 2011, de la centrale nucléaire de Fukushima Daiichi –, à la prise en compte d’accidents de réactivité pour la conception des réacteurs de recherche français, ainsi qu’aux réexamens de sûreté décennaux pratiqués en France

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle

Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur de : - connaître et mettre en oeuvre les méthodes de spécification et de conception ; - définir et paramétrer l'environnement d'exécution des systèmes ; - réaliser l'implémentation multitâche basée sur un noyau temps réel ; - développer l'application en C, Ada ou LabVIEW . L'ouvrage fait également le point sur les dernières avancées dans le domaine des systèmes temps réel multitâches. De nombreux exemples industriels sont traités, permettant de comprendre puis de mettre en oeuvre les principes de cette méthodologie de développement. Ce livre s'adresse à tous les ingénieurs ou techniciens concepteurs d'applications temps réel de contrôle-commande de procédés industriels. Il est également destiné aux étudiants en informatique industrielle

Adult Stromal Cells Derived from Human Adipose Tissue Provoke Pancreatic Cancer Cell Death both In Vitro and In Vivo

1932-6203 (Electronic) Journal Article Research Support, Non-U.S. Gov'tBACKGROUND: Normal tissue homeostasis is maintained by dynamic interactions between epithelial cells and their microenvironment. Disrupting this homeostasis can induce aberrant cell proliferation, adhesion, function and migration that might promote malignant behavior. Indeed, aberrant stromal-epithelial interactions contribute to pancreatic ductal adenocarcinoma (PDAC) spread and metastasis, and this raises the possibility that novel stroma-targeted therapies represent additional approaches for combating this malignant disease. The aim of the present study was to determine the effect of human stromal cells derived from adipose tissue (ADSC) on pancreatic tumor cell proliferation. PRINCIPAL FINDINGS: Co-culturing pancreatic tumor cells with ADSC and ADSC-conditioned medium sampled from different donors inhibited cancer cell viability and proliferation. ADSC-mediated inhibitory effect was further extended to other epithelial cancer-derived cell lines (liver, colon, prostate). ADSC conditioned medium induced cancer cell necrosis following G1-phase arrest, without evidence of apoptosis. In vivo, a single intra-tumoral injection of ADSC in a model of pancreatic adenocarcinoma induced a strong and long-lasting inhibition of tumor growth. CONCLUSION: These data indicate that ADSC strongly inhibit PDAC proliferation, both in vitro and in vivo and induce tumor cell death by altering cell cycle progression. Therefore, ADSC may constitute a potential cell-based therapeutic alternative for the treatment of PDAC for which no effective cure is available

Epigenetic Activation of a Subset of mRNAs by eIF4E Explains Its Effects on Cell Proliferation

BACKGROUND: Translation deregulation is an important mechanism that causes aberrant cell growth, proliferation and survival. eIF4E, the mRNA 5′ cap-binding protein, plays a major role in translational control. To understand how eIF4E affects cell proliferation and survival, we studied mRNA targets that are translationally responsive to eIF4E. METHODOLOGY/PRINCIPAL FINDINGS: Microarray analysis of polysomal mRNA from an eIF4E-inducible NIH 3T3 cell line was performed. Inducible expression of eIF4E resulted in increased translation of defined sets of mRNAs. Many of the mRNAs are novel targets, including those that encode large- and small-subunit ribosomal proteins and cell growth-related factors. In addition, there was augmented translation of mRNAs encoding anti-apoptotic proteins, which conferred resistance to endoplasmic reticulum-mediated apoptosis. CONCLUSIONS/SIGNIFICANCE: Our results shed new light on the mechanisms by which eIF4E prevents apoptosis and transforms cells. Downregulation of eIF4E and its downstream targets is a potential therapeutic option for the development of novel anti-cancer drugs